Solo Diagrams
نویسندگان
چکیده
We address the problems of implementing the replication operator efficiently in the solos calculus—a calculus of mobile processes without prefix. This calculus is expressive enough to admit an encoding of the whole fusion calculus and thus the π-calculus. We show that nested occurrences of replication can be avoided, that the size of replicated terms can be limited to three particles, and that the usual unfolding semantics of replication can be replaced by three simple reduction rules. To illustrate the results and show how the calculus can be efficiently implemented we present a graphic representation of agents in the solos calculus, adapting ideas from interaction diagrams and pi-nets.
منابع مشابه
On Graph(ic) Encodings
This paper is an informal summary of different encoding techniques from process calculi and distributed formalisms to graphic frameworks. The survey includes the use of solo diagrams, term graphs, synchronized hyperedge replacement systems, bigraphs, tile models and interactive systems, all presented at the Dagstuhl Seminar 04241. The common theme of all techniques recalled here is having a gra...
متن کاملAcyclic Solos and Differential Interaction Nets
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of the pi-calculus. In particular, the induced solo diagrams bear an acyclicity property that induces a faithful encoding into differential intera...
متن کاملVisualising Music for Performance Flexibility
We describe a visualisation system which allows an artist to perform music to a pre-recorded accompaniment without some of the constraints that normally render such a performance dull and lifeless. Musicians who perform with an accompanist or a band can't always practise together or may be unable to accept gigs by lack of availability of the other musician(s). In these circumstances, some artis...
متن کاملThe feasibility of single-port laparoscopic appendectomy using a solo approach: a comparative study.
PURPOSE To investigate the feasibility and safety of solo surgery with single-port laparoscopic appendectomy, which is termed herein solo-SPLA (solo-single-port laparoscopic appendectomy). METHODS This study prospectively collected and retrospectively analyzed data from patients who had undergone either non-solo-SPLA (n = 150) or solo-SPLA (n = 150). Several devices were utilized for complete...
متن کاملSolo-living among single women: A Phenomenological Study of Challenges and Strategies
Late marriage and the entry of unmarried girls into emerging adulthood and middle age have caused them to spend a longer period of their lives single, in the meantime, some girls are separated from their families due to voluntary or involuntary reasons to experience an independent life. This study aimed to identify the challenges and strategies of a solo-living lifestyle in single girls. The re...
متن کامل